1. Advanced topics in artificial intelligence :
Author: Norman Foo, (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
2. Applications and Science in Soft Computing
Author: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Decision making.,Operations research.
3. Artificial intelligence :
Author: George F. Luger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Códigos de corrección (Teoría de la información).,Inteligencia artificial.,Solución de problemas.
Classification :
Q335
.
L84
2009
4. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
5. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
6. Computational logic and set theory :
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Set theory
Classification :
QA248
.
S39
2011eb
7. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
8. Fuzzy Logic and Applications
Author: edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
9. Intellectics and Computational Logic
Author: edited by Steffen Hölldobler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General).
10. Logic Programming :
Author: by Isaac Balbin, Koenraad Lecot.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
6
B957
1985
11. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Author: Michel Parigot, Andrei Voronkov )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
1955
12. Logic programming and Automated reasoning
Author: Logic programming and Automated reasoning
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming
Classification :
QA
76
.
73
.
L6
1992
13. Logic programming and Automated reasoning
Author: Logic programming and Automated reasoning
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming
Classification :
QA
76
.
73
.
L6
1992
14. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings
Author: A. Voronkov, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
624
15. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses
Classification :
QA
76
.
63
.
I55
1992
16. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Author: LPAR, )1992 : Saint Petersburg, Russia(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming - Congresses , Automatic theorem proving - Congresses
Classification :
QA
76
.
63
.
I55
1992
17. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings
Author: Frank Pfenning )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
822
18. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings
Author: A. Voronkov, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
698
19. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Author: Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
1705
